s,REPLACE-WITH-KPSEVERSION,kpathsea version 3.,
s,REPLACE-WITH-WEB2CVERSION, (Web2c .),
